English logic implication: tłumaczenie na inne języki